/* board_init.h */

#ifndef __CLOCK_INIT_H__
#define __CLOCK_INIT_H__

void BOARD_InitBootClocks(void);

#endif /* __CLOCK_INIT_H__ */

